abstract linear algebra